The One-Variable Fragment of T→

Modal Logic and the Two-Variable Fragment

We introduce a modal language L which is obtained from standard modal logic by adding the Boolean operators on accessibility relations, the identity relation, and the converse of relations. It is proved that L has the same expressive power as the two-variable fragment FO of first-order logic, but speaks less succinctly about relational structures: if the number of relations is bounded, then L-s...

The Two-Variable Fragment with Counting Revisited

The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting were shown in [5] to be in NExpTime. This paper presents a simplified proof via a result on integer programming due to Eisenbrand and Shmonina [2].

contribution of setting to the study of characters and the main idea in e. brontes: wuthering heights and t. hardys: return of the native.

this thesis aims to adduce an unmitigated and comprehensive explication concerning the relationship of three significant elements of fiction: setting, chracter and theme. my research is basically placed on two outstanding novels of the 19th century: emily brontes wuthering heights and thomas hardys return of the native. my endeavour lies in studying the correlation among the three above-mention...

A Two-Variable Fragment of English

On the Uniform One-dimensional Fragment

The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its relationship to description logics designed to accommodate higher arity relations, with particular attention given to DLRreg . We also define a description logi...